xen/arm: correct the computation of the number of interrupt lines for the GIC
authorJulien Grall <julien.grall@linaro.org>
Mon, 29 Apr 2013 13:25:52 +0000 (14:25 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 30 Apr 2013 10:25:40 +0000 (11:25 +0100)
commit2f2a3e317df8f6ce73a13ae6a16361da07e703f6
tree7a8aa50e88f649e35815da8080bfb5a83f85fdad
parentb3f685edb7b8d040182b9e4d83bf34f2883cc385
xen/arm: correct the computation of the number of interrupt lines for the GIC

In the GIC manual, the number of interrupt lines is computed with the
following formula: 32(N + 1) where N is the value retrieved from GICD_TYPER.

Without the +1 Xen doesn't initialize the last 32 interrupts and can get
garbage on these registers.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/gic.c